A KWIC (key word in context) bibliography on prolog and logic programming

Logic programming beyond Prolog

A logic program is an executable specification. For example, merge sort in pure Prolog is a logical formula, yet shows creditable performance on long linked lists. But such executable specifications are a compromise: the logic is distorted by algorithmic considerations, yet only indirectly executable via an abstract machine. This paper introduces relational programming, a method that solves the...

Programming in logic without Prolog

Logic can be made useful for programming and for databases independently of logic programming. To be useful in this way, logic has to provide a mechanism for the definition of new functions and new relations on the basis of those given in the interpretation of a logical theory. We provide this mechanism by creating a compositional semantics on top of the classical semantics. In this approach, v...

Multi-paradigm Logic Programming Higher-order Logic Programming in Prolog

The Logic Programming Paradigm and Prolog

This is a tutorial on logic programming and Prolog appropriate for a course on programming languages for students familiar with imperative programming.

Logic programming - Prolog and stream parallel languages

Preparing the books to read every day is enjoyable for many people. However, there are still many people who also don't like reading. This is a problem. But, when you can support others to start reading, it will be better. One of the books that can be recommended for new readers is logic programming prolog and stream parallel languages. This book is not kind of difficult book to read. It can be...